Type Theoretical Databases
نویسندگان
چکیده
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to represent tables in a natural way. Thus the category is a model for databases, a single mathematical structure in which all database schemas and instances (of a suitable, but sufficiently general form) are represented. The type theory then allows for the specification of database schemas and instances, the manipulation of the same with the usual type-theoretic operations, and the posing of queries.
منابع مشابه
Theoretical Investigation of Doping Concentration in Silicon Semiconductor Using Optical Principle
This paper investigates the amount of doping concentration in silicon semiconductor using optical principle. Both donor and acceptor impurities of n type and p-type silicon semiconductor materials are computed at wavelength of 1550 nm. During the computation of donor and acceptor impurities, both reflection and absorption losses are considered. Theoretical result showed that transmitted intens...
متن کاملLogical Foundations of Database Transformations for Complex-Value Databases
Database transformations consist of queries and updates which are two fundamental types of computations in any databases the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. In the theoretical studies of database transformations, considerable effort has been directed towards exploiting the close ties betwe...
متن کاملVarious Events Involved in Spatio-temporal Databases
In general, time has two kinds of semantic, i.e., time-scale semantic and event-sequence semantic (Shu Hong, 1998). In spatio-temporal databases (STDB), time-scale semantic refers to the time positioning of geographical objects, and event-sequence semantic to spatial and thematic change description. Here event and change are alternatively termed without further meaning distinction. Almost a dec...
متن کاملAbstract Object Types for Databases
Object Types for Databases H.-D. Ehrich Informaiik/Datenbanken, Tevhnisehe Universitat, Postfach 3329. D-3300 Braunschweig, FR GERMANY A. Sernadas C. Sernadas Departamento de Matematica, Instituto Superior Teeaieo, 1096 Lisboa, PORTUGAL A b ~ ? ~ There is a need for exploring the theoretical and methodological foundations of database design and development with the intention to achieve provably...
متن کاملIntuitionistic Interpretation of Deductive Databases with Incomplete Information
Dong, F. and L.V.S. Lakshmanan, Intuitionistic interpretation of deductive databases with incomplete information, Theoretical Computer Science 133 (1994) 267-306. The aim of this paper is to build the relationship between deductive databases with incomplete information and hypothetical reasoning using embedded implications. We first consider the semantics of deductive databases with incomplete ...
متن کامل